COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.NSECP(Introductory Materials)
C00003 ENDMK
C⊗;
.NSECP(Introductory Materials)

.SSEC(Abstract)


<< Edit this abstract. >


A program is described  which ⊗4creatively⊗* uses a large  network of
concepts, techniques,  and data to enlarge  that same knowledge base.
The subject matter was chosen to be "elementary mathematics," and the
program manages to do some rudimentary research in number theory.

The  representation  of  concepts  as  active,  structured  knowledge
modules  provides  a definite  "space"  for the  program  to explore.
Hundreds of "local" heuristic  rules are relied upon,  to effectively
guide the investigations.